This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and ...
Lee masThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lee masThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lee mas